摘要 — 实时、保证安全的轨迹规划对于未知环境中的导航至关重要。然而,实时导航算法通常会牺牲鲁棒性来换取计算速度。或者,可证明安全的轨迹规划往往计算量太大,无法进行实时重新规划。我们提出了 FaSTrack,即快速安全跟踪,这是一个既能实现实时重新规划又能保证安全的框架。在此框架中,通过允许任何轨迹规划器使用系统的简化规划模型来实现实时计算。该计划由系统跟踪,由更现实、更高维的跟踪模型表示。我们预先计算了由于两个模型不匹配以及外部干扰而导致的跟踪误差界限 (TEB)。我们还获得了用于保持在 TEB 内的相应跟踪控制器。预计算不需要事先了解环境。我们演示了使用 Hamilton-Jacobi 可达性进行预计算的 FaSTrack 和三个不同的实时轨迹规划器以及三个不同的跟踪规划模型对。